Jeremy Gibbons (eds.): Z-Libraryలో శోధించండి

జ్ఞానం మరియు సంస్కృతికి మీ గేట్‌వే. అందరికీ అందుబాటులో ఉంటుంది.

Don't use scam websites

వర్తింప చేసిన వడపోత సూచనలు

సరిగ్గా సరిపోలిక

సరిగ్గా సరిపోలిక

పుస్తకాలు (20)
అత్యంత ప్రజాదరణమైనవి
- ప్రకారం క్రమబద్ధీకరించు×
- అత్యంత ప్రజాదరణమైనవి
- ఉత్తమ సరిపోలిక
- ఇటీవల జోడించినవి
- శీర్షక ప్రకారం (అ-హ)
- శీర్షక ప్రకారం (హ-అ)
- సంవత్సరం ప్రకారం
- ఫైల్ పరిమాణం ↓
- ఫైల్ పరిమాణం ↑
జాబితా
- జాబితా
- పట్టిక

1

The fun of programming

The fun of programming

Palgrave Macmillan

Jeremy Gibbons, Oege de Moor, (eds.)

సంవత్సరం:

2003

భాష:

english

ఫైల్:

DJVU, 3.00 MB

0 / 0

english, 2003

2

Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

Springer-Verlag Berlin Heidelberg

Jeremy Gibbons (auth.), Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring (eds.)

సంవత్సరం:

2007

భాష:

english

ఫైల్:

PDF, 2.63 MB

0 / 0

english, 2007

3

Generic Programming: Advanced Lectures

Generic Programming: Advanced Lectures

Springer-Verlag Berlin Heidelberg

Ralf Hinze, Johan Jeuring (auth.), Roland Backhouse, Jeremy Gibbons (eds.)

సంవత్సరం:

2003

భాష:

english

ఫైల్:

PDF, 3.88 MB

0 / 0

english, 2003

4

Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Jeffrey Kramer (auth.), Jeremy Gibbons, José Nuno Oliveira (eds.)

సంవత్సరం:

2009

భాష:

english

ఫైల్:

PDF, 3.71 MB

0 / 0

english, 2009

5

Foundations of Health Information Engineering and Systems: Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers

Foundations of Health Information Engineering and Systems: Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Pei-Hsuan Tsai, Jane W. S. Liu (auth.), Jeremy Gibbons, Wendy MacCaull (eds.)

సంవత్సరం:

2014

భాష:

english

ఫైల్:

PDF, 11.76 MB

0 / 0

english, 2014

6

The Fun of Programming

The Fun of Programming

Palgrave Macmillan

Jeremy Gibbons, Oege de Moor, (eds.)

సంవత్సరం:

2003

భాష:

english

ఫైల్:

PDF, 13.86 MB

0 / 4.5

english, 2003

7

Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings

Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin (auth.), Jeremy Gibbons, Pablo Nogueira (eds.)

సంవత్సరం:

2012

భాష:

english

ఫైల్:

PDF, 3.44 MB

0 / 5.0

english, 2012

8

Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Jeffrey Kramer (auth.), Jeremy Gibbons, José Nuno Oliveira (eds.)

సంవత్సరం:

2009

భాష:

english

ఫైల్:

PDF, 2.85 MB

0 / 0

english, 2009

9

Lecture Notes in Computer Science 2297 Algebraic and Coalgebraic Methods in the Mathematics of Program Construction International Summer School and Workshop Oxford,UK,April 10-14,2000

Lecture Notes in Computer Science 2297 Algebraic and Coalgebraic Methods in the Mathematics of Program Construction International Summer School and Workshop Oxford,UK,April 10-14,2000

Springer-Verlag

Roland C Backhouse, Roy Crole, Jeremy Gibbons, School on Algebraic and Co-algebraic Methods in the Mathematics of Program Construction, Roland Backhouse, Roy Crole, Jeremy Gibbons, eds, R. C Backhouse

సంవత్సరం:

2002

భాష:

English

ఫైల్:

PDF, 179.33 MB

0 / 0

English, 2002

10

Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Jeffrey Kramer (auth.), Jeremy Gibbons, José Nuno Oliveira (eds.)

సంవత్సరం:

2009

భాష:

english

ఫైల్:

PDF, 2.90 MB

0 / 0

english, 2009

11

Advanced Functional Programming: 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002. Revised Lectures

Advanced Functional Programming: 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002. Revised Lectures

Springer-Verlag Berlin Heidelberg

Richard Bird, Jeremy Gibbons (auth.), Johan Jeuring, Simon L. Peyton Jones (eds.)

సంవత్సరం:

2003

భాష:

english

ఫైల్:

PDF, 1.62 MB

0 / 0

english, 2003

12

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures

Springer-Verlag Berlin Heidelberg

Roy Crole (auth.), Roland Backhouse, Roy Crole, Jeremy Gibbons (eds.)

సంవత్సరం:

2002

భాష:

english

ఫైల్:

PDF, 2.94 MB

0 / 0

english, 2002

13

Generic Programming: Advanced Lectures

Generic Programming: Advanced Lectures

Springer-Verlag Berlin Heidelberg

Ralf Hinze, Johan Jeuring (auth.), Roland Backhouse, Jeremy Gibbons (eds.)

సంవత్సరం:

2003

భాష:

english

ఫైల్:

PDF, 3.01 MB

0 / 0

english, 2003

14

Generic and Indexed Programming: International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures

Generic and Indexed Programming: International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures

Springer-Verlag Berlin Heidelberg

Nate Foster, Kazutaka Matsuda, Janis Voigtländer (auth.), Jeremy Gibbons (eds.)

సంవత్సరం:

2012

భాష:

english

ఫైల్:

PDF, 1.88 MB

0 / 0

english, 2012

15

Generic Programming: IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany

Generic Programming: IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany

Thorsten Altenkirch, Conor Mcbride (auth.), Jeremy Gibbons, Johan Jeuring (eds.)

సంవత్సరం:

2003

భాష:

english

ఫైల్:

PDF, 7.32 MB

0 / 0

english, 2003

16

Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings

Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin (auth.), Jeremy Gibbons, Pablo Nogueira (eds.)

సంవత్సరం:

2012

భాష:

english

ఫైల్:

PDF, 3.09 MB

0 / 0

english, 2012

17

Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings

Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Nazareno Aguirre, Germán Regis, Tom Maibaum (auth.), Jim Davies, Jeremy Gibbons (eds.)

సంవత్సరం:

2007

భాష:

english

ఫైల్:

PDF, 6.13 MB

0 / 0

english, 2007

18

Advanced Functional Programming: 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002. Revised Lectures

Advanced Functional Programming: 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002. Revised Lectures

Springer-Verlag Berlin Heidelberg

Richard Bird, Jeremy Gibbons (auth.), Johan Jeuring, Simon L. Peyton Jones (eds.)

సంవత్సరం:

2003

భాష:

english

ఫైల్:

PDF, 1.86 MB

0 / 0

english, 2003

19

Datatype-Generic Programming. International Spring School, SSDGP 2006

Datatype-Generic Programming. International Spring School, SSDGP 2006

Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring (eds.)

సంవత్సరం:

2007

భాష:

english

ఫైల్:

PDF, 2.60 MB

0 / 0

english, 2007

20

Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

Springer-Verlag Berlin Heidelberg

Jeremy Gibbons (auth.), Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring (eds.)

సంవత్సరం:

2007

భాష:

english

ఫైల్:

PDF, 3.27 MB

0 / 0

english, 2007